import jason.*;
import jason.asSemantics.Agent;
import java.util.*;


public class TraderAgent extends Agent {

}
